1. A introduction to digital computer design
المؤلف: / [by] V. Rajaraman and T. Radhakrishnan
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Computer engineering,Programming (Electronic computers)
رده :
TK
7888
.
3
.
R3
1987
2. ADA a first course in programming and software engineering
المؤلف: Bover, David
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Programming )Electronic computers(,، Software engineering,، Ada )Computer program language(
رده :
QA
76
.
6
.
B695
3. An introduction to digital computer design
المؤلف: / [by] V. Rajaraman
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Computer engineering,Programming (Electronic computers)
رده :
TK
7888
.
3
.
R3
1983
4. Computer-aided design of language processors
المؤلف: Shangin, V. F.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
رده :
QA
76
.
76
.
T83
S53
5. DIANA An Intermediate Language for Ada
المؤلف: edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
6. Deductive Software Verification – The KeY Book
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
7. Engineering and scientific computations in PASCAL
پدیدآورنده : Huelsman, Lawrence P
موضوع : ، Engineering-- Data processing,، Pascal )Computer program language(,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Formal Methods and Software Development :
المؤلف: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
9. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
المؤلف: edited by S.N. Maheshwari
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
10. How to make computers easier to use : digest of papers
المؤلف: Compcon, )11th, 5791, Washington, D.C.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
رده :
QA
76
.
6
.
C6276
1975
11. Proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N373a
12. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota
المؤلف: sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
13. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
المؤلف: sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
Comp
.
14. Programming languages and systems :
المؤلف: Gilles Barthe (edition)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
E97
2011
15. RIMS Symposia on Software Science and Engineering II :
المؤلف: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
16. Software Engineering Environments
المؤلف: Editor Pearl Brereton
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Electronic digital computers- Programming,Computer engineering
رده :
QA
،
76
.
6
،.
S6478
،
1988
17. Software engineering environments
المؤلف: editor, Pearl Brereton
المکتبة: (کرمان)
موضوع: Electronic digital computers-programming,computer engineering
رده :
QA
76
.
6
.
S6
1988
18. Software engineering environments
المؤلف: editor, Pearl Brereton
المکتبة: (کرمان)
موضوع: Electronic digital computers-programming,computer engineering
رده :
QA
76
.
6
.
S6
1988
19. Software engineering with Ada /
المؤلف: Grady Booch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: ADA,Ada (Computer program language),Software engineering.,Electronic digital computers-- Programming.,Ada (Computer program language),Ada (langage de programmation),ADA.,Génie logiciel.,Software Engineering,Software engineering.
رده :
QA76
.
73
.
A35
B66
1987
20. Software language engineering :
المؤلف: Anneke Kleppe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
رده :
QA76
.
7
.
K576
2009
